Experimental software engineering

Results: 64



#Item
51Software development / Software engineering / Logic in computer science / Software quality / Static program analysis / Formal verification / Software development process / Model checking / Verification and validation / Formal methods / Software testing / Theoretical computer science

Engineering High Confidence Medical Device Software Arnab Ray Fraunhofer Center for Experimental Software Engineering [removed]

Add to Reading List

Source URL: sigbed.seas.upenn.edu

Language: English - Date: 2009-08-13 22:42:24
52Society of Experimental Test Pilots / Index of agriculture articles / Computer programming / Computing / Software engineering

85^00’ 85^05’ 1, 840, 000 f

Add to Reading List

Source URL: www.dot.state.fl.us

Language: English - Date: 2011-12-05 09:39:26
53Experimental software engineering / Software / Software engineering / Reliability engineering / University of Engineering and Technology /  Taxila / Computer science / Software testing / Requirement / Software development / Engineering / Systems engineering

FOLLOW US ON + Monday, August 25, 2014 (Full-day)

Add to Reading List

Source URL: webhotel.bth.se

Language: English - Date: 2014-08-22 10:18:32
54Experimental software engineering / Software / Software engineering / Reliability engineering / University of Engineering and Technology /  Taxila / Computer science / Software testing / Requirement / Software development / Engineering / Systems engineering

FOLLOW US ON + Monday, August 25, 2014 (Full-day)

Add to Reading List

Source URL: webhotel.bth.se

Language: English - Date: 2014-08-22 10:18:32
55Antanas Mockus / SIGSOFT / Association for Computing Machinery / Experimental software engineering / Computer science / Colombian people / Computing / Software engineering / International Conference on Software Engineering / Open source software development

Audris Mockus Avaya Labs Research 211 Mt. Airy Road Basking Ridge, NJ[removed]Phone: +[removed]

Add to Reading List

Source URL: www.mockus.us

Language: English - Date: 2014-07-02 08:11:57
56Antanas Mockus / SIGSOFT / Association for Computing Machinery / Experimental software engineering / Computer science / Colombian people / Computing / Software engineering / International Conference on Software Engineering / Open source software development

Audris Mockus Avaya Labs Research 211 Mt. Airy Road Basking Ridge, NJ[removed]Phone: +[removed]

Add to Reading List

Source URL: mockus.us

Language: English - Date: 2014-07-02 08:11:57
57Software engineering / Software quality / Program analysis / Software bug / Java Pathfinder / Static program analysis / Model checking / Debugging / Verification and validation / Software development / Formal methods / Software testing

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Ri

Add to Reading List

Source URL: www.agoldberg.org

Language: English - Date: 2008-11-03 13:00:13
58Scientific method / Evaluation methods / Charles Sanders Peirce / Grounded theory / Hypothesis / Empirical research / Experiment / Science / Knowledge / Research

Building Knowledge Through Empirical Studies: Generating and Building Support for Hypotheses Jeff Carver Experimental Software Engineering Group University of Maryland

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2006-05-05 10:34:23
59Ethology / Research / Design for X / Reliability engineering / Survival analysis / Systems engineering / Engineering / Empirical research / Experimental software engineering / Science / Software engineering / Knowledge

Empirical Software Engineering: Applied Software Engineering Research and Best Industry Practice

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2006-02-13 15:36:29
60Software engineering / Software measurement / Scientific modelling / Epistemology / Thought / Philosophy of science / Software metrics / Experimental software engineering / Software

CMSC 735 Spring ‘06 Tentative Class Schedule (Subject to change) Date Topic Jan 26

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2006-03-29 12:21:17
UPDATE